More from this Author

Formal Methods in Manufacturing

by Javier Campos (Editor), Carla Seatzu (Editor), Xiaolan Xie (Editor)

Control of Discrete-Event Systems

by Carla Seatzu (Editor), Manuel Silva (Editor), Jan H. van Schuppen (Editor)